es{-}state{-}after(${\it es}$; $e$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}after(${\it es}$; $x$; $e$)